$\forall$$g$:IGroup, $a$:$\mid$$g$$\mid$. $\sim$($\sim$($a$)) = $a$